-
1 формальный метод: метод проектирования программ, в котором используется язык формальных спе
Универсальный русско-английский словарь > формальный метод: метод проектирования программ, в котором используется язык формальных спе
См. также в других словарях:
Cleanroom software engineering — For the meaning of clean room engineering as a method to avoid copyright infringement, see Cleanroom design. Software development process Activities and steps … Wikipedia
Software development process — Activities and steps Requirements Specification … Wikipedia
Software prototyping — Software prototyping, a possible activity during software development, is the creation of prototypes, i.e., incomplete versions of the software program being developed.A prototype typically simulates only a few aspects of the features of the… … Wikipedia
Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… … Wikipedia
Software patent debate — is the argument dealing with the extent to which it should be possible to patent software and computer implemented inventions as a matter of public policy. Policy debate on software patents has been active for years. [Cite book |last=Nichols… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Aspect-oriented software development — (AOSD) is an emerging software development technology that seeks new modularizations of software systems. AOSD allows multiple concerns to be expressed separately and automatically unified into working systems.Traditional software development has … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
B-Method — The B method is method of software development based on B, a tool supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean Raymond Abrial in France and… … Wikipedia
Ada (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release … Wikipedia
Information engineering — (IE) or information engineering methodology (IEM) in software engineering is an approach to designing and developing information systems. Contents 1 Overview 2 History 3 Information engineering topics … Wikipedia